leibniz argument